201. Logic for computer scientists
پدیدآورنده : / Uwe Schoening
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع :
202. Logic for mathematics and computer science
پدیدآورنده : Stanley N. Burris
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
203. Logic from computer science
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: (کرمان)
موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
204. Logic from computer science
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: (کرمان)
موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
205. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
پدیدآورنده : Yiannis Moschovakis, editor
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
9
.
A1W65
1989
206. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
207. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
208. Logic in computer science: modelling and reasoning about systems
پدیدآورنده : Huth, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer logic,، Logic programming )Computer science(
رده :
QA
76
.
9
.
L63
.
H88
2004
209. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
210. Mathematical Logic for Computer Science
پدیدآورنده : / Ari-Mordechai Ben
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
211. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
212. Mathematical logic for computer science
پدیدآورنده : Ben-Ari, Mordechai
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
213. Mathematical logic for computer science
پدیدآورنده : Ben-Ari, M.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
214. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: (طهران)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
215. Mathematical logic for computer science
پدیدآورنده : Mordechai Ben-Ari
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
B3955
2012eb
216. Mathematical logic for computer science
پدیدآورنده : Ben-Ari, M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
217. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
218. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
219. Mathematical logic in computer science
پدیدآورنده : / edited by B. Domolki and T. Gergely
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA76
،.
M352
1981
220. 9, 2010. Proceedings-Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7
پدیدآورنده : / Rosaria Conte, Giulia Andrighetto, Daniel Villatoro (auth.), Guido Governatori, Giovanni Sartor (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
